Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
formal verification
1
controller synthesis
1 ?
 21,213,375 websites (safe search)

  1. The Averest System

    Welcome! Averest is a set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler and a simulator for ...
    Formal Verification1
    Model Checking1
    Controller Synthesis1
    Execution Time Analysis1
    Synchronous Languages1
    Averest0

    www.averest.org - 2009-02-07

  2. Embedded Systems Group

    home teaching offers research publications tools people contact Welcome! The Embedded Systems Group is a research division of the Department of Computer Science ...
    order4
    logic2
    higher2
    Embedded Systems2
    proving1
    Theorem1
    Formal Verification1
    Controller Synthesis1
    Execution Time Analysis1
    Reactive Systems1
    Synchronous Languages1
    Embedded Systems Group0
    Hardware-Software Codesign0
    Models of Computation0

    es.cs.uni-kl.de - 2009-04-13

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.